Toward a wider use of formal methods for aerospace systems design and verification

Nowadays, it is well accepted that the development of critical systems involves the use of formal methods. One of the major fields where these methods made a lot of progress are the avionics, aerospace and more generally transport areas. Several methods, tools and techniques have been applied for the development of such systems in different parts of the world, and they have been actually put into practice during the development of specific aircraft programs. The aim of this introductory article and of this STTT special issue is to propose a brief overview of the state-of-the-art of current researches in formal methods applied to the development of avionics and aerospace systems and more broadly to take stock of the integration of formal methods in the aerospace industry.     

Naturalistic study of the risky situations faced by novice riders

This article sets out to identify the typical risky situations experienced by novice motorcyclists in the real world just after licensing. The procedure consists of a follow-up of six novices during their first two months of riding with their own motorbike instrumented with cameras. The novices completed logbooks on a daily basis in order to identify the risky situations they encountered, and were given face-to-face interviews to identify the context and their shortcomings during the reported events. Data show a large number of road configurations considered as risky by the riders (248 occurrences), especially during the first two weeks. The results revealed that a lack of hazard perception skills contributed to the majority of these incidents. These situations were grouped together to form clusters of typical incident scenarios on the basis of their similarities. The most frequent scenario corresponds to a lane change in dense traffic (15% of all incidents). The discussion shows how this has enhanced our understanding of novice riders’ behaviour and how the findings can improve training and licensing. Lastly, the main methodological limitations of the study and some guidelines for improving future naturalistic riding studies are presented.

Practitioner Summary:

This article aims to identify the risky situations of novice motorcyclists in real roads. Two hundred forty-eight events were recorded and 13 incident scenarios identified. Results revealed that a lack of hazard perception contributed to the majority of these events. The most frequent scenario corresponds to a lane change in dense traffic.     

The contribution of visual and proprioceptive information to the perception of leaning in a dynamic motorcycle simulator

Compared with driving or flight simulation, little is known about self-motion perception in riding simulation. The goal of this study was to examine whether or not continuous roll motion supports the sensation of leaning into bends in dynamic motorcycle simulation. To this end, riders were able to freely tune the visual scene and/or motorcycle simulator roll angle to find a pattern that matched their prior knowledge. Our results revealed idiosyncrasy in the combination of visual and proprioceptive information. Some subjects relied more on the visual dimension, but reported increased sickness symptoms with the visual roll angle. Others relied more on proprioceptive information, tuning the direction of the visual scenery to match three possible patterns. Our findings also showed that these two subgroups tuned the motorcycle simulator roll angle in a similar way. This suggests that sustained inertially specified roll motion have contributed to the sensation of leaning in spite of the occurrence of unexpected gravito-inertial stimulation during the tilt. Several hypotheses are discussed.

Practitioner Summary: Self-motion perception in motorcycle simulation is a relatively new research area. We examined how participants combined visual and proprioceptive information. Findings revealed individual differences in the visual dimension. However, participants tuned the simulator roll angle similarly, supporting the hypothesis that sustained inertially specified roll motion contributes to a leaning sensation.     

Porous protein-based scaffolds prepared through freezing as potential scaffolds for tissue engineering

Successful tissue engineering with the aid of a polymer scaffold offers the possibility to produce a larger construct and to mould the shape after the defect. We investigated the use of cryogelation to form protein-based scaffolds through different types of formation mechanisms; enzymatic crosslinking, chemical crosslinking, and non-covalent interactions. Casein was found to best suited for enzymatic crosslinking, gelatin for chemical crosslinking, and ovalbumin for non-covalent interactions. Fibroblasts and myoblasts were used to evaluate the cryogels for tissue engineering purposes. The stability of the cryogels over time in culture differed depending on formation mechanism. Casein cryogels showed best potential to be used in skeletal tissue engineering, whereas gelatin cryogels would be more suitable for compliable soft tissues even though it also seemed to support a myogenic phenotype. Ovalbumin cryogels would be better suited for elastic tissues with faster regeneration properties due to its faster degradation time. Overall, the cryogelation technique offers a fast, cheap and reproducible way of creating porous scaffolds from proteins without the use of toxic compounds.     

Does social capital reduce entrepreneurs' petty corruption? Evidence across Indonesian regions

Petty corruption is a barrier to entrepreneurship in emerging countries, justifying to investigate its determinants. Using data on 1,240 entrepreneurs across Indonesian regions, we analyse the effects of social capital. Two-evel ordered probit regressions show that weak-ties discourage entrepreneurs' bribing, strong-ties encourage it, whereas this latter effect is moderated by the quality of access to formal credit. Bribing banks or turning to relatives for external funding are alternative solutions for entrepreneurs facing poor access to formal credit, a common feature in emerging countries, and the second solution is preferred given the risk and psychological costs of corruption.     

The landing gear case study: challenges and experiments

International Journal on Software Tools for Technology Transfer -     

Phosphonic acid‐containing polysulfones as anticorrosive layers

As a part of research work to elaborate polymeric materials for metal corrosion protection, we have developed a new family of phosphonic acid‐containing polymers. The synthesis and the characterization of polysulfones bearing alkyl phosphonate ester side groups are first described. These polymers are synthesized by direct polycondensation of a phosphonate ester‐containing bisphenol by aromatic nucleophilic substitution. The physicochemical properties of the resulting polymers are described. Acidic hydrolysis of phosphonate esters results in the formation of phosphonic acid groups. A series of phosphonic acid‐containing polysulfones is therefore obtained and characterized. A preliminary evaluation of the anticorrosive properties of these polymers is described. In 0.25M Na₂SO₄ solution, the corrosion rate of a polymer‐coated mild steel sample is much lower than of the free metal substrate. These results suggest that phosphonic acid‐containing polysulfones might be interesting as anticorrosive coatings. © 2015 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2015 , 132, 41890.     

Chalcogenide Glasses for Infrared Photonics

The last advances in the synthesis and shaping techniques of chalcogenide glasses suitable for infrared photonics are reported. Ball milling combined with spark plasma sintering allows the preparation of bulk chalcogenide glasses at lower temperature and at lower cost. Microstructuring of optical fibers results in enhanced nonlinear properties leading to the demonstration of low-threshold Brillouin laser at 1.55 μm, all-optical wavelength conversion and time-domain demultiplexing with a 170 Gb/s rate, and supercontinuum between 1.5 and 2.8 μm. The potential of integrated waveguides for functions such as near-IR sensing, mid-IR injection, and (bio)-chemical functionalization is shown.     

Structure–Activity Relationships of JMV4463, a Vectorized Cathepsin D Inhibitor with Antiproliferative Properties: The Unique Role of the AMPA‐Based Vector

Cathepsin D (CathD) is overexpressed and secreted by several solid tumors and stimulates their growth, the mechanism of which is still not understood. In this context, the pepstatin bioconjugate JMV4463 [Ac‐arg‐O₂Oc‐(Val)₃‐Sta‐Ala‐Sta‐(AMPA)₄‐NH₂; O₂Oc=8‐amino‐3,6‐dioxaoctanoyl, Sta=statine, AMPA=ortho‐aminomethylphenylacetyl], containing a new kind of cell‐penetrating vector, was previously shown to exhibit potent antiproliferative effects in vitro and to delay the onset of tumors in vivo. In this study, we performed a structure–activity relationship analysis to evaluate the significance of the inhibitor and vector moieties of JMV4463. By modifying both statine residues of pepstatin we found that the antiproliferative activity is correlated with CathD inhibition, supporting a major role of the catalytic activity of intracellular CathD in cancer cell proliferation. Replacing the vector composed of four AMPA units with other vectors was found to abolish cytotoxicity, although all of the conjugates enabled pepstatin transport into cells. In addition, the AMPA₄ vector must be localized at the C terminus of the bioconjugate. The unexpected importance of the vector structure and position for cytotoxic action suggests that AMPA₄ enables pepstatin to inhibit the proteolysis of critical CathD substrates involved in cell proliferation via a unique mechanism of action.     

Phylogenetic-Derived Insights into the Evolution of Sialylation in Eukaryotes: Comprehensive Analysis of Vertebrate β-Galactoside α2,3/6-Sialyltransferases (ST3Gal and ST6Gal)

Cell surface of eukaryotic cells is covered with a wide variety of sialylated molecules involved in diverse biological processes and taking part in cell–cell interactions. Although the physiological relevance of these sialylated glycoconjugates in vertebrates begins to be deciphered, the origin and evolution of the genetic machinery implicated in their biosynthetic pathway are poorly understood. Among the variety of actors involved in the sialylation machinery, sialyltransferases are key enzymes for the biosynthesis of sialylated molecules. This review focus on β-galactoside α2,3/6-sialyltransferases belonging to the ST3Gal and ST6Gal families. We propose here an outline of the evolutionary history of these two major ST families. Comparative genomics, molecular phylogeny and structural bioinformatics provided insights into the functional innovations in sialic acid metabolism and enabled to explore how ST-gene function evolved in vertebrates.